Skip to content
Vinony

ModelEd, TestEd, TrustEd

by Joost-Pieter Katoen, Rom Langerak, Arend Rensink

Cover of ModelEd, TestEd, TrustEd

No description available.

Computer science, mathematicsComputer simulationLogic, symbolic and mathematical
ModelEd, TestEd, TrustEd by Joost-Pieter Katoen, Rom Langerak, Arend Rensink — book · Vinony