Modular Verification of Finite Blocking in Non-terminating Programs

Pontus Boström, Peter Müller

Research output: Book/Journal/Report › Commissioned report › Professional

1 results

Filter

Finished

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