cl-banner

Aspects of Layer Systems in IsaFoR

Bertram Felgenhauer, Franziska Rapp

Proceedings of the 6th International Workshop on Confluence (IWC 2017), pp. 63 – 67, 2017.

Abstract

We report on an ongoing formalization of layer systems in Isabelle.

 

  PDF  

BibTeX 

@inproceedings{BFFR-IWC17,
author = "Bertram Felgenhauer and Franziska Rapp",
title = "Aspects of Layer Systems in {IsaFoR}",
booktitle = "Proceedings of the 6th International Workshop on Confluence (IWC 2017)",
editor = "Beniamino Accattoli and Bertram Felgenhauer",
pages = "63--67",
year = 2017
}
Nach oben scrollen