Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions (Englisch)
- Neue Suche nach: Heule, S.
- Neue Suche nach: Kassios, I.T.
- Neue Suche nach: Muller, P.
- Neue Suche nach: Summers, A.J.
- Neue Suche nach: Heule, S.
- Neue Suche nach: Kassios, I.T.
- Neue Suche nach: Muller, P.
- Neue Suche nach: Summers, A.J.
- Neue Suche nach: Castagna, G.
In:
ECOOP 2013 - Object-Oriented Programming 27th European Conference Montpellier, France, July 2013 Proceedings
7920
;
451-476
;
2013
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
-
Beteiligte:Heule, S. ( Autor:in ) / Kassios, I.T. ( Autor:in ) / Muller, P. ( Autor:in ) / Summers, A.J. ( Autor:in ) / Castagna, G.
-
Erschienen in:ECOOP 2013 - Object-Oriented Programming 27th European Conference Montpellier, France, July 2013 Proceedings , 7920 ; 451-476LECTURE NOTES IN COMPUTER SCIENCE , 7920 ; 451-476
-
Verlag:
- Neue Suche nach: SPRINGER-VERLAG
-
Erscheinungsdatum:01.01.2013
-
Format / Umfang:26 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.