scuola
Regular Model Checking Revisited
Speaker: Philipp Rümmer, University of Regensburg, Germany and Uppsala University, Sweden
Ritieni utile il servizio che offre ticinooggi.ch?
Speaker: Philipp Rümmer, University of Regensburg, Germany and Uppsala University, Sweden