|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| paolini15janus (Technical report) | |
| Author(s) | Luca Paolini, Mauro Piccolo and Luca Roversi |
| Title | « Big and Small-step Operational Semantics of the Reversible Programming Language Janus » |
| Institution | Rapporto Tecnico dell'Università di Torino |
| Year | 2015 |
| BibTeX code |
@techreport{paolini15janus,
title = {Big and Small-step Operational Semantics of the Reversible
Programming Language {Janus}},
author = {Paolini, Luca and Piccolo,Mauro and Roversi, Luca},
year = 2015,
institution = {Rapporto Tecnico dell'Universit\`a di Torino},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)