lecture notes in computer science (10)
ieee aerospace conference proceedings (3)
ceur workshop proceedings (2)
electronic proceedings in theoretical computer science, eptcs (2)
proceedings - 16th annual international conference on automated software engineering, ase 2001 (2)
proceedings 16th annual international conference on automated software engineering (ase 2001) (2)
proceedings 16th annual international conference on automated software engineering (ase 2001), automated software engineering, 2001. (ase 2001). proceedings. 16th annual international conference on, automated software engineering (2)
proceedings kbse '94 ninth knowledge-based software engineering conference (2)
proceedings kbse '94. ninth knowledge-based software engineering conference, knowledge-based software engineering conference, 1994. proceedings., ninth, knowledge-based software engineering (2)
2006 ieee aerospace conference (1)
2006 ieee aerospace conference, aerospace conference, 2006 ieee, aerospace conference (1)
2007 ieee aerospace conference (1)
2010 ieee aerospace conference (1)
2011 22nd ieee international symposium on rapid system prototyping (rsp) (1)
2nd ieee international conference on space mission challenges for information technology (smc-it'06) (1)
2nd ieee international conference on space mission challenges for information technology (smc-it'06), space mission challenges for information technology, 2006. smc-it 2006. second ieee international conference on, space mission challenges for information technology (1)
aiaa guidance, navigation, and control (gnc) conference (1)
aiaa information systems-aiaa infotech at aerospace, 2018 (1)
aiaa scitech 2019 forum (1)
automated deduction - cade-12 - 12th international conference on automated deduction, proceedings (1)
computer aided verification - 34th international conference, cav 2022, proceedings (1)
cpp 2022 - proceedings of the 11th acm sigplan international conference on certified programs and proofs, co-located with popl 2022 (1)
formal methods - 24th international symposium, fm 2021, proceedings (1)
information and software technology (1)
international journal on software tools for technology transfer (1)
methodologies for intelligent systems - 8th international symposium, ismis 1994, proceedings (1)
nasa formal methods - 15th international symposium, nfm 2023, proceedings (1)
nasa formal methods - 4th international symposium, nfm 2012, proceedings (1)
proceedings - 13th ieee international conference on automated software engineering, ase 1998 (1)
proceedings - international conference on software engineering (1)
proceedings - isola 2006: 2nd international symposium on leveraging applications of formal methods, verification and validation (1)
proceedings - smc-it 2006: 2nd ieee international conference on space mission challenges for information technology (1)
proceedings 13th ieee international conference on automated software engineering (cat no98ex239) (1)
proceedings 13th ieee international conference on automated software engineering (cat. no.98ex239), automated software engineering, 1998. proceedings. 13th ieee international conference on, automated software engineering (1)
proceedings of the ieee international conference on requirements engineering (1)
proceedings of the international workshop on rapid system prototyping (1)
requirements engineering: foundation for software quality - 26th international working conference, refsq 2020, proceedings (1)
requirements engineering: foundation for software quality - 29th international working conference, refsq 2023, proceedings (1)
second international symposium on leveraging applications of formal methods, verification & validation (isola 2006) (1)
semantics, applications and implementation of program generation - international workshop, saig 2000, proceedings (1)
tools and algorithms for the construction and analysis of systems - 28th international conference, tacas 2022, held as part of the european joint conferences on theory and practice of software, etaps 2022, proceedings (1)