tag : formal methods

2 journals & series
book Journal of Logical and Algebraic Methods in Programming (JLAMP)
book International Journal of Software Engineering and Knowledge Engineering (JSEKE)
[ tag cloud  /  journals & series ]