F-SOFT: Software verification platform Conference Proceeding

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• July 6, 2005

Date in CU Experts

• January 7, 2021 6:19 AM

Full Author List

• Ivancic F; Yang Z; Ganai MK; Gupta A; Shlyakhter I; Ashar P

Full Editor List

• Etessami K; Rajamani SK

author count

• 6

citation count

• 51

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 17th International Conference on Computer Aided Verification  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Electronic International Standard Serial Number (EISSN)

• 1611-3349

International Standard Book Number (ISBN) 10

• 3-540-27231-3

Additional Document Info

start page

• 301

end page

• 306

volume

• 3576