|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| KusmierekB10 (Article) | |
| Author(s) | Jaroslaw D. M. Kusmierek and Viviana Bono |
| Title | « Big-step Operational Semantics Revisited » |
| Journal | Fundam. Inform. |
| Volume | 103 |
| Number | 1-4 |
| Page(s) | 137-172 |
| Year | 2010 |
| URL | http://www.di.unito.it/~bono/papers/FI2010.pdf |
| BibTeX code |
@article{KusmierekB10,
number = {1-4},
volume = {103},
author = {Jaroslaw D. M. Kusmierek and Viviana Bono},
url = {http://www.di.unito.it/~bono/papers/FI2010.pdf},
title = {Big-step Operational Semantics Revisited},
pages = {137-172},
year = {2010},
journal = {Fundam. Inform.},
}
|
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)