|
|
|
|
|
Wytse Oortwijn, Dilian Gurov and Marieke Huisman
Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability. To be able to reason about realistic programs, these techniques must be modular and c...
ver más
|
|
|
|
|