Aleksandar Dimovski

Toevoegen aan favorieten

Auteur

Aleksandar Dimovski

Wikipedia: Aleksandar Dimovski

Deel op Twitter

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Software Verification Based on Game Semantics and Process Algebra

Software Verification Based on Game Semantics and Process Algebra
A Game Semantic Framework for Verifying Safety Properties of Open Programs »

domReadyCallbacks.push( function() { new Error('Sorry, dit kan je alleen doen als je ingelogd bent. Als je nog geen lid bent, kun je dat hier worden.'); });