Semantics, calculi, and analysis for object-oriented specifications
Achim D. Brucker, Burkhart WolffVolume:
46
Language:
english
Pages:
30
DOI:
10.1007/s00236-009-0093-8
Date:
July, 2009
File:
PDF, 512 KB
english, 2009