A two-level temporal logic for evolving specifications

P.Y. Schobbens, G. Saake, A. Sernadas, C. Sernadas

Research output: Contribution to journalArticlepeer-review

Search results