Formal Modeling and Analysis of Timed Systems Más libros de Sergiy Bogomolov & David Parker

Numerical Software Verification

2017