Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Model Elimination with Simplification and its Application to Software Verification

Publikationstyp: Buch

Autoren


Schäfer, D. (Autor)
Baumgartner, P. (Autor)

Klassifikation


DFG Fachgebiet:
ohne Zuordnung

DDC Sachgruppe:
Allgemeines, Wissenschaft