Cover von QED at Large; 2/2 opens in new tab

QED at Large; 2/2

A Survey of Engineering of Formally Verified Software
Search for this author
Year: 2019
Publisher: Boston, Now Publishers
Count: 2/2
Media group: SPECIAL ISSUE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: online only Location 2: ELECTRONIC EDITION Location 3: Status: done

Details

Search for this author
Year: 2019
Publisher: Boston, Now Publishers
opens in new tab
Search for this systematic
Search for this subject type
Volume: 5,2/3
Count: 2/2
Participating parties: Search for this character Ringer, Talia; Palmskog, Karl; Sergey, Ilya; Gligoric, Milos; Tatlock, Zachary
Media group: SPECIAL ISSUE