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 9.3939