Vol-1613⫷ Vol-1614 ⫸Vol-1615
urn:nbn:de:0074-1614-0


Vol-1614/paper_73⫷Vol-1614/paper_75⫸Vol-1614/paper_32
Taras Panchenko

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