A Logic Foundation for a General-Purpose History Querying Tool

Publication Type:

Journal Article

Authors:

Reinout Stevens; Coen De Roover; Carlos Noguera; Kellens, Andy; Viviane Jonckers

Source:

Elsevier Journal on Science of Computer Programming (2014)