A Logical Foundation for Verification.

Jan Treur, Mark Willems

Browse the full ECAI paper archive.