๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - An overview of a method and its support tool for generating B specifications from UML notations

โœ Scribed by Laleau, R.; Mammar, A.


Book ID
121652213
Publisher
IEEE
Year
2000
Weight
358 KB
Edition
2000
Category
Article
ISBN-13
9780769507101

No coin nor oath required. For personal study only.