Search results for: Charles N. Fischer
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 29-43
IEEE Transactions on Software Engineering > 1984 > SE-10 > 3 > 221 - 227
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 29-43
IEEE Transactions on Software Engineering > 1984 > SE-10 > 3 > 221 - 227