A Logic Foundation for a General-Purpose History Querying Tool
Publication Type:
Journal ArticleSource:
Elsevier Journal on Science of Computer Programming (2014)Subgroup:
CAMP
Links
[1] http://soft.vub.ac.be/soft/members/resteven
[2] http://soft.vub.ac.be/soft/members/cderoove
[3] http://soft.vub.ac.be/soft/members/cnoguera
[4] http://soft.vub.ac.be/soft/biblio?f%5Bauthor%5D=33
[5] http://soft.vub.ac.be/soft/members/vejoncke