Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540678984, 9783540446163
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A General Completeness Result in Refinement

2000 ◽  
pp. 201-218 ◽  
Author(s):  
Yoshiki Kinoshita ◽  
John Power
Keyword(s):  
Completeness Result

A Type-Theoretic Memory Model for Verification of Sequential Java Programs

2000 ◽  
pp. 1-21 ◽  
Author(s):  
Joachim van den Berg ◽  
Marieke Huisman ◽  
Bart Jacobs ◽  
Erik Poll
Keyword(s):  
Memory Model ◽  
Java Programs

Towards a Verification Logic for Rewriting Logic

2000 ◽  
pp. 438-458 ◽  
Author(s):  
José Luis Fiadeiro ◽  
Tom Maibaum ◽  
Narciso Martí-Oliet ◽  
Jose Meseguer ◽  
Isabel Pita
Keyword(s):  
Rewriting Logic

Realization of Probabilistic Automata: Categorical Approach

2000 ◽  
pp. 237-251 ◽  
Author(s):  
Paulo Mateus ◽  
Amílcar Sernadas ◽  
Cristina Sernadas
Keyword(s):  
Categorical Approach ◽  
Probabilistic Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document