Skip to main content
Skip to navigation
Skip to toolbar

Browsen nach Autor

2 Ergebnisse von "Heule, Stefan"

Diese Suchanfrage als RSS-Feed abonnieren

Sortieren nach

Treffer pro Seite

1. Verification Condition Generation for Permission Logics with Abstraction Functions

Heule, Stefan, Kassios, Ioannis T., Müller, Peter und Summers, Alexander J. (2012)

Reports Reports

2. Verification condition generation for permission logics with abstract predicates and abstraction functions

Heule, Stefan, Kassios, Ioannis T., Müller, Peter und Summers, Alexander J. (2012)

Reports Reports