Toward formal development of programs from algebraic specifications: implementations revisited

Saved in:
Bibliographic Details
Published in:Acta informatica 1988-04, Vol.25 (3), p.23-281
Main Authors: SANNELLA, D, TARLECKI, A
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Programming theory
Theoretical computing
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0001-5903
1432-0525
DOI:10.1007/BF00283329