Algebraic Specifications in Software Engineering
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642750328, 9783642750304
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conclusions

1989 ◽  
pp. 309-317
Author(s):  
Ivo Van Horebeek ◽  
Johan Lewi

Error Handling

1989 ◽  
pp. 215-245
Author(s):  
Ivo Van Horebeek ◽  
Johan Lewi
Keyword(s):  
Error Handling

Constructive Specifications

1989 ◽  
pp. 120-163
Author(s):  
Ivo Van Horebeek ◽  
Johan Lewi

A Case Study: the Mini-PABX

1989 ◽  
pp. 176-214
Author(s):  
Ivo Van Horebeek ◽  
Johan Lewi

Abstract Implementations

1989 ◽  
pp. 246-308
Author(s):  
Ivo Van Horebeek ◽  
Johan Lewi

Introduction

1989 ◽  
pp. 1-13
Author(s):  
Ivo Van Horebeek ◽  
Johan Lewi
Load More ...
Sign in / Sign up

Export Citation Format

Share Document