No Cover Image

Conference Paper/Proceeding/Abstract 446 views

Designing Domain Specific Languages for Verification: First Steps. / Markus, Roggenbach; Phillip, James

Swansesa University Authors: Markus, Roggenbach, Phillip, James

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1.1.220.7401

Abstract

P. James, M. Roggenbach: Designing Domain Specific Languages for Verification: First Steps.First Workshop on Automated Theory Engineering, ATE-2011. CEUR Workshop Proceedings. Volume 760, 2011.

Published: 2011
Online Access: http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/Papers/james11a.pdf
URI: https://cronfa.swan.ac.uk/Record/cronfa8089
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: P. James, M. Roggenbach: Designing Domain Specific Languages for Verification: First Steps.First Workshop on Automated Theory Engineering, ATE-2011. CEUR Workshop Proceedings. Volume 760, 2011.
Item Description: First Workshop on Automated Theory Engineering, ATE-2011. CEUR Workshop Proceedings. Volume 760, 2011.
College: College of Science