Semantic Essence of AsmL: Extended Abstract

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30101-1_11 ◽

2004 ◽

pp. 240-259 ◽

Cited By ~ 9

Author(s):

Yuri Gurevich ◽

Benjamin Rossman ◽

Wolfram Schulte

Download Full-text