Towards a Proof Method for Paradigm

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_17 ◽

2016 ◽

pp. 242-260

Author(s):

L. P. J. Groenewegen ◽

R. Kuiper ◽

E. P. de Vink

Download Full-text