[Advances in Formal Methods] Software Engineering with OBJ Volume 2 || Introducing OBJ
Goguen, Joseph, Malcolm, GrantVolume:
10.1007/97
Year:
2000
Language:
english
DOI:
10.1007/978-1-4757-6541-0_1
File:
PDF, 12.34 MB
english, 2000