Using Formal Methods for Ensuring Quality Requirements of Systems

Gordon Fraser, Franz Wotawa

Research output: Contribution to journalArticlepeer-review

Search results