Language
Publisher
Subjects
- All ( )
- Free, open source ( )
2Result(s)for '"Holzmann Gerard"'
Resource list
By Holzmann Gerard in Formal Aspects of Computing
ISSN:0934-5043|23|3|365-389
Springer Publishing Company (2011)
Access to resources Favorite 19.139652
By Holzmann Gerard in Innovations in Systems and Software Engineering
ISSN:1614-5046|6|4|311-318
Springer Publishing Company (2010)
Access to resources Favorite 19.139652