No Cover Image

Conference Paper/Proceeding/Abstract 937 views

Designing Domain Specific Languages for Verification: First Steps.

Markus Roggenbach Orcid Logo, Phillip James Orcid Logo

Swansea University Authors: Markus Roggenbach Orcid Logo, Phillip James Orcid Logo

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: Faculty of Science and Engineering

Similar Items