Diseño y análisis formal de sistemas de software
FADOSS
University of Leicester
Leicester, Reino UnidoUniversity of Leicester-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2005
-
A verification logic for rewriting logic
Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352