Cover von Special section on the 1999 formal methods conference; 8 opens in new tab

Special section on the 1999 formal methods conference; 8

special issues for FM 99 : the first world congress on formal methods in the development of computing systems : S. 673 - 814
Search for this author
Year: 2000
Publisher: Piscataway, IEEE
Count: 8
Media group: SPECIAL ISSUE
available

Copies

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

Content

World congress on formal methods in the development of computing systems <1, 1999>

Details

Search for this author
Year: 2000
Publisher: Piscataway, IEEE
opens in new tab
Search for this systematic
Search for this subject type
Volume: 26
Count: 8
Participating parties: Search for this character Wing, Jeannette M.; Woodcock, James C. P.
Parallel title: FM 99
Media group: SPECIAL ISSUE