Nir Piterman

Nir Piterman

Professor in Computer Science, University of Gothenburg, Sweden
Email verificata su gu.se
Citato da 6494
Verification Automata Logic Games Executable Biology
Judith Somekh

Judith Somekh

University of Haifa, Department of Information Systems
Email verificata su is.haifa.ac.il
Citato da 529
biomedical informatics bioinformatics systems biology executable biology