Towards a $$\mathbb {K}$$ K ool Future

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

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

2016 ◽

pp. 325-343

Author(s):

Dorel Lucanu ◽

Traian-Florin Şerbănuţă ◽

Grigore Roşu

Download Full-text