Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems.

Taras Panchenko

Browse the full ICTERI paper archive.