tag : formal methods

2 riviste e collane
book Journal of Logical and Algebraic Methods in Programming (JLAMP)
book International Journal of Software Engineering and Knowledge Engineering (JSEKE)