Algebraic Methodology and Software Technology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

60
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540614630, 9783540685951
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Asspegique+ an integrated specification environment providing inter-operability of tools

1996 ◽  
pp. 555-558
Author(s):  
Michel Bidoit ◽  
Christine Choppy ◽  
Frédéric Voisin

CtCoq: A system presentation

1996 ◽  
pp. 600-603
Author(s):  
Janet Bertot ◽  
Yves Bertot

Algebraic view specification

1996 ◽  
pp. 444-457 ◽  
Author(s):  
Barbara Paech

A formal framework for modules with state

1996 ◽  
pp. 148-162 ◽  
Author(s):  
Davide Ancona ◽  
Elena Zucca
Keyword(s):  
Formal Framework

Verification using PEP

1996 ◽  
pp. 591-594 ◽  
Author(s):  
Stephan Melzer ◽  
Stefan Römer ◽  
Javier Esparza
Load More ...
Sign in / Sign up

Export Citation Format

Share Document