Cover von Analysis and verification; 3/4 opens in new tab

Analysis and verification; 3/4

special issue : S. 97 - 258
Search for this author
Year: 2004
Publisher: New York, Pergamon Press
Count: 3/4
Media group: SPECIAL ISSUE
available

Copies

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

Content

International conference on verification, model checking and abstract interpretation <4, 2003, New York>

Details

Search for this author
Year: 2004
Publisher: New York, Pergamon Press
opens in new tab
Search for this systematic
Search for this subject type
Volume: 30
Count: 3/4
Participating parties: Search for this character Zuck, Lenore D.
Parallel title: VMCAI 2003
Media group: SPECIAL ISSUE