Nettsider med emneord ?formelle metoder?

22. mars: Hvordan utvikle korrekte datasystemer?

Publisert 22. mars 2011 20:32

Foredrag ved Peter Csaba ?lveczky fra forskningsgruppen for presis modellering og analyse av p?litelige systemer.

Les mer ...