Search results for: Jeffrey S. Foster
Formal Methods in System Design > 2017 > 50 > 1 > 75-95
Lecture Notes in Computer Science > Static Analysis > 95-111
Lecture Notes in Computer Science > Static Analysis > Session 2 > 88-106
Software: Practice and Experience > 46 > 6 > 767 - 788
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 262-277
IEEE Transactions on Software Engineering > 2014 > 40 > 3 > 251 - 265
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 5-6 > 497-518
IEEE Transactions on Software Engineering > 2012 > 38 > 6 > 1340 - 1354
Software: Practice and Experience > 40 > 3 > 225 - 238
Information and Computation > 2008 > 206 > 2-4 > 130-157