Mechanized Formalization of a Transformation from an Extensible Spi Calculus to Java
Alex Busenius
|
Master Thesis
Saarland University, 2011.
(
BibTeX
| Links:
)
@mastersthesis{buse_11:master,
title = {Mechanized Formalization of a Transformation from an Extensible Spi Calculus to Java},
author = {Alex Busenius},
url = {https://www-intern.cispa.uni-saarland.de/wordpress/wp-content/uploads/2016/04/busenius-master-thesis.pdf},
year = {2011},
date = {2011-01-01},
school = {Saarland University},
keywords = {}
}
|