Formal Modeling and Analysis of Timed Systems More Books by Sergiy Bogomolov & David Parker

Numerical Software Verification

2017