Language
Publisher
Subjects
Publication date
- All ( )
- Free, open source ( )
1Result(s)for '"Devereux Benet"'
Resource list
By Chechik Marsha Gurfinkel Arie Devereux Benet Lai Albert Easterbrook Steve in Formal Methods in System Design
ISSN:0925-9856|29|3|295-344
Springer Publishing Company (2006)
Access to resources Favorite 10.84011