Skip to content

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