Verifying Concurrent Programs Using Contracts.

Ricardo J. Dias, Carla Ferreira, Jan Fiedor, Joo M. Loureno, Ales Smrcka, Diogo G. Sousa, Toms Vojnar

Browse the full ICST paper archive.