Formal methods
What is Following?
Following Joseph's work means that, in your Academia.edu News Feed, you will see Joseph's:
- status updates
- new papers
- new research interests
and other research updates.
Joseph Kiniry
What is Following?
Following Mr Zacchaeus Oni's work means that, in your Academia.edu News Feed, you will see Mr Zacchaeus Oni's:
- status updates
- new papers
- new research interests
and other research updates.
Mr Zacchaeus Oni Omogbadegun
What is Following?
Following Amnon's work means that, in your Academia.edu News Feed, you will see Amnon's:
- status updates
- new papers
- new research interests
and other research updates.
Amnon Eden
What is Following?
Following Nisarg's work means that, in your Academia.edu News Feed, you will see Nisarg's:
- status updates
- new papers
- new research interests
and other research updates.
Nisarg Shah
What is Following?
Following David's work means that, in your Academia.edu News Feed, you will see David's:
- status updates
- new papers
- new research interests
and other research updates.
David Lamas
What is Following?
Following Jeremy's work means that, in your Academia.edu News Feed, you will see Jeremy's:
- status updates
- new papers
- new research interests
and other research updates.
Jeremy Gibbons
What is Following?
Following Michael's work means that, in your Academia.edu News Feed, you will see Michael's:
- status updates
- new papers
- new research interests
and other research updates.
Michael Schreiber
What is Following?
Following Paolo's work means that, in your Academia.edu News Feed, you will see Paolo's:
- status updates
- new papers
- new research interests
and other research updates.
Paolo Ciancarini
What is Following?
Following José Creissac's work means that, in your Academia.edu News Feed, you will see José Creissac's:
- status updates
- new papers
- new research interests
and other research updates.
José Creissac Campos
What is Following?
Following Simone's work means that, in your Academia.edu News Feed, you will see Simone's:
- status updates
- new papers
- new research interests
and other research updates.
Simone Sacchi
What is Following?
Following Muaz's work means that, in your Academia.edu News Feed, you will see Muaz's:
- status updates
- new papers
- new research interests
and other research updates.
Muaz Niazi
What is Following?
Following Dejan's work means that, in your Academia.edu News Feed, you will see Dejan's:
- status updates
- new papers
- new research interests
and other research updates.
Dejan Jovanović
What is Following?
Following Arthur's work means that, in your Academia.edu News Feed, you will see Arthur's:
- status updates
- new papers
- new research interests
and other research updates.
Arthur Oviedo
What is Following?
Following Joshua's work means that, in your Academia.edu News Feed, you will see Joshua's:
- status updates
- new papers
- new research interests
and other research updates.
Joshua Cason
What is Following?
Following José Luiz's work means that, in your Academia.edu News Feed, you will see José Luiz's:
- status updates
- new papers
- new research interests
and other research updates.
José Luiz Fiadeiro
What is Following?
Following Rodolfo's work means that, in your Academia.edu News Feed, you will see Rodolfo's:
- status updates
- new papers
- new research interests
and other research updates.
Rodolfo Marinho
What is Following?
Following Vivek's work means that, in your Academia.edu News Feed, you will see Vivek's:
- status updates
- new papers
- new research interests
and other research updates.
Vivek Nigam
What is Following?
Following Jon's work means that, in your Academia.edu News Feed, you will see Jon's:
- status updates
- new papers
- new research interests
and other research updates.
Jon Nicholson
What is Following?
Following Juan David's work means that, in your Academia.edu News Feed, you will see Juan David's:
- status updates
- new papers
- new research interests
and other research updates.
Juan David Cruz-Gomez
What is Following?
Following Jan Tobias's work means that, in your Academia.edu News Feed, you will see Jan Tobias's:
- status updates
- new papers
- new research interests
and other research updates.
Jan Tobias Muehlberg
What is Following?
Following Mirtha's work means that, in your Academia.edu News Feed, you will see Mirtha's:
- status updates
- new papers
- new research interests
and other research updates.
Mirtha Giovannini
What is Following?
Following José Antonio's work means that, in your Academia.edu News Feed, you will see José Antonio's:
- status updates
- new papers
- new research interests
and other research updates.
José Antonio Martín Baena
What is Following?
Following Javier's work means that, in your Academia.edu News Feed, you will see Javier's:
- status updates
- new papers
- new research interests
and other research updates.
Javier Cubo
Universidad de Malaga
PhD in Computer Science - Researcher
Lenguajes y Ciencias de la Computación Department
What is Following?
Following Feryal Fulya's work means that, in your Academia.edu News Feed, you will see Feryal Fulya's:
- status updates
- new papers
- new research interests
and other research updates.
Feryal Fulya Horozal
What is Following?
Following James's work means that, in your Academia.edu News Feed, you will see James's:
- status updates
- new papers
- new research interests
and other research updates.

























