abstract . state . machines . alloy . vdm . lecture . notes . computer . science . theoretical . general . issues . third . international . conference . abz . pisa . italy . june . proceedings . fitzgerald . john . larsen . peter . gorm . mukherjee . paul . plat . nico . verhoef . marcel .
Format
Author
Status
List Price