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

On using data abstractions for model checking refinements

โœ Scribed by John Derrick; Heike Wehrheim


Publisher
Springer-Verlag
Year
2007
Tongue
English
Weight
444 KB
Volume
44
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES