MULLIGAN, DOMINIC
MULLIGAN, DOMINIC
Dominic P. Mulligan
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Certified Complexity (CerCo)Foundational and Practical Aspects of Resource Analysis
2014 Roberto M. Amadio;Nicolas Ayache;Francois Bobot;Jaap P. Boender;Brian Campbell;Ilias Garnier;Antoine Madet;James McKinna;Dominic P. Mulligan;Mauro Piccolo;Randy Pollack;Yann Régis-Gianas;Claudio Sacerdoti Coen;Ian Stark;Paolo Tranquilli
On the Correctness of an Optimising Assembler for the Intel MCS-51 MicroprocessorCertified Programs and Proofs
2012 Dominic P. Mulligan;Claudio Sacerdoti Coen
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Certified Complexity (CerCo)Foundational and Practical Aspects of Resource Analysis | Roberto M. Amadio;Nicolas Ayache;Francois Bobot;Jaap P. Boender;Brian Campbell;Ilias Garnier;Anto...ine Madet;James McKinna;Dominic P. Mulligan;Mauro Piccolo;Randy Pollack;Yann Régis-Gianas;Claudio Sacerdoti Coen;Ian Stark;Paolo Tranquilli | 2014-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| On the Correctness of an Optimising Assembler for the Intel MCS-51 MicroprocessorCertified Programs and Proofs | Dominic P. Mulligan;Claudio Sacerdoti Coen | 2012-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |