Search results for: Bryan Brady
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction Refinement > 358-372
International Journal on Software Tools for Technology Transfer > 2009 > 11 > 2 > 95-104