Lecture notes in computer science, 2006, p.364-387
2006
Details
- Autor(en) / Beteiligte
- Titel
- Boogie : A modular reusable verifier for object-oriented programs
- Ist Teil von
- Lecture notes in computer science, 2006, p.364-387
- Ort / Verlag
- Berlin: Springer
- Erscheinungsjahr
- 2006
- Link zum Volltext
- Quelle
- Alma/SFX Local Collection
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9783540367499, 3540367497ISSN: 0302-9743eISSN: 1611-3349DOI: 10.1007/11804192_17Titel-ID: cdi_pascalfrancis_primary_19938287
- Format
- –
- Schlagworte
- Applied sciences, Computer science, control theory, systems, Exact sciences and technology, Software, Software engineering