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

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 3707 || Introducing Dynamic Properties with Past Temporal Operators in the B Refinement

โœ Scribed by Peled, Doron A.; Tsay, Yih-Kuen


Book ID
121706559
Publisher
Springer Berlin Heidelberg
Year
2005
Weight
302 KB
Category
Article
ISBN
3540319697

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES