Search Results

AUTHOR: BENGT JONSSON Found 1 entry

An Integrated Specification and Verification Technique for Highly Concurrent Data Structures Parosh Aziz Abdulla, Frédéric Haziza, Lukas Holik, Bengt Jonsson, Ahmed Rezine The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Rome, Italy, March 16-24, 2013.

( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)

Last modified on Thursday May 18, 2017 by Ivan Ukhov