Verifikation Asynchroner Programme https://www.mpg.de/18043573/mpi-sws_jb_20213?c=19434836&force_lang=de
Dies macht Software-Werkzeuge zur Verifikation notwendig, die automatisch die Korrektheit
Dies macht Software-Werkzeuge zur Verifikation notwendig, die automatisch die Korrektheit