Record: found
Abstract: not found
Book Chapter: not found

Tools and Algorithms for the Construction and Analysis of Systems 

A Proof Assistant for Alloy Specifications

other

Author(s): Mattias Ulbrich , Ulrich Geilmann , Aboubakr Achraf El Ghazi , Mana Taghdiri

Publication date (Print): 2012

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 11

Record: found
Abstract: not found
Article: not found

Untersuchungen �ber das logische Schlie�en. II

Gerhard Gentzen (1935)

0 comments Cited 26 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

The Expressiveness of Simple and Second-Order Type Structures

Michael E O'Donnell, Daniel Leivant, Steven Fortune (1983)

0 comments Cited 14 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

Verification of Object-Oriented Software: The KeY Approach

(2007)

0 comments Cited 10 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2012

Pages: 422-436

DOI: 10.1007/978-3-642-28756-5_29

SO-VID: 3a1e6977-0475-456d-8b9b-0bc20b013fff

History

Data availability:

A Proof Assistant for Alloy Specifications

Read this book at

Related collections

High Entropy Alloys and Complex Concentrated Alloys

Most cited references 11

Untersuchungen �ber das logische Schlie�en. II

The Expressiveness of Simple and Second-Order Type Structures

Verification of Object-Oriented Software: The KeY Approach

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,108

Cited by 3