Objects as abstract machines
Authors:
Simone Veglioni
Affiliations:
-
Venue:
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Year:
1997
Citing
0
Cited
1
Issues in formal methods
Formal methods for distributed processing
Quantified Score
Hi-index
0.00
Visualization
Abstract