Cover von Special section on formal methods in software practice opens in new tab

Special section on formal methods in software practice

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