Cover von Computer-aided verification opens in new tab

Computer-aided verification

a special issue of formal methods in system design on computer-aided verification
Search for this author
Year: 1992
Publisher: Boston, Kluwer
Series: Formal methods in system design; 1. 1992, 2/3
Media group: SPECIAL ISSUE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Journals Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Details

Search for this author
Year: 1992
Publisher: Boston, Kluwer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 0-7923-9285-X
Series: Formal methods in system design; 1. 1992, 2/3
Participating parties: Search for this character Kurshan, Robert P.
Media group: SPECIAL ISSUE