Formal Method to Analyze Design Workflows in Software Development.

Nikolay Voit, Semen Bochkov

Browse the full ICCSA paper archive.