Comparing Verification Condition Generation with Symbolic Execution: An Experience Report (Englisch)
- Neue Suche nach: Kassios, I.T.
- Neue Suche nach: Muller, P.
- Neue Suche nach: Schwerhoff, M.
- Neue Suche nach: Kassios, I.T.
- Neue Suche nach: Muller, P.
- Neue Suche nach: Schwerhoff, M.
- Neue Suche nach: Joshi, R.
- Neue Suche nach: Muller, P.
- Neue Suche nach: Podelski, A.
In:
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012 Philadelphia, PA, USA, January 2012
7152
;
196-208
;
2012
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Comparing Verification Condition Generation with Symbolic Execution: An Experience Report
-
Beteiligte:Kassios, I.T. ( Autor:in ) / Muller, P. ( Autor:in ) / Schwerhoff, M. ( Autor:in ) / Joshi, R. / Muller, P. / Podelski, A.
-
Erschienen in:Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012 Philadelphia, PA, USA, January 2012 , 7152 ; 196-208LECTURE NOTES IN COMPUTER SCIENCE , 7152 ; 196-208
-
Verlag:
- Neue Suche nach: SPRINGER-VERLAG
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:13 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 004
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 004 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.