Cover von Formal methods in software practice opens in new tab

Formal methods in software practice

Search for this author
Statement of Responsibility: eds.: Dillon, Laura K. ; Sankar, Sriram
Year: 1997
Publisher: Los Alamitos, IEEE
Series: IEEE transactions on software engineering : 23. 1997, 5
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
Statement of Responsibility: eds.: Dillon, Laura K. ; Sankar, Sriram
Year: 1997
Publisher: Los Alamitos, IEEE
opens in new tab
Search for this systematic
Search for this subject type
Description: S. 265-323
Series: IEEE transactions on software engineering : 23. 1997, 5
Participating parties: Search for this character Dillon, Laura K.; Sankar, Sriram
Media group: SPECIAL ISSUE