Fast Formal Analysis of Requirements via "Topoi Diagrams".

Tim Menzies, John D. Powell, Michael E. Houle

Browse the full ICSE paper archive.