Modular Verification of Finite Blocking in Non-terminating Programs

Pontus Boström, Peter Müller

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

1 tulosta

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M., Sere, K., Boström, P., Alexeev, P. S., Ostroumov, S. & Wiik, J.
01/06/09 → 30/09/14
Projekti: Industry/Business Finland