Representing RSL Specifications in Isabelle/HOL
Publication: Research - peer-review › Article in proceedings – Annual report year: 2003
| Original language | English |
|---|---|
| Title | Theorem Proving in Higher Order Logics 2003 - Emerging Trends Proceedings : Technical Report No. 187, Universität Freiburg |
| Publisher | Aracne Editrice S.R.L. |
| Publication date | 2003 |
| Pages | 95-110 |
| State | Published |
ID: 2788577