Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative

Bernhard Aichernig, He Jifeng, Zhiming Liu, Mike Reed

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

1 Ergebnisse

Laufend
Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet