Skip to content
Institutional repository
Communities & Collections
Browse all items
Scientific publications
Open knowledge
Log In
imec Publications
Conference contributions
Formalizing a behavioral specification language for correct transformational design
Publication:
Formalizing a behavioral specification language for correct transformational design
Copy permalink
Date
1996
Proceedings Paper
Simple item page
Full metadata
Statistics
Loading...
Loading...
Files
1035.pdf
379.28 KB
Basic data
APA
Chicago
Harvard
IEEE
Basic data
APA
Chicago
Harvard
IEEE
Author(s)
Angelo, Catia Marcondes
;
Claesen, Luc
Journal
Abstract
Description
Metrics
Views
1942
since deposited on 2021-09-29
1
last month
Acq. date: 2025-12-10
Citations
Metrics
Views
1942
since deposited on 2021-09-29
1
last month
Acq. date: 2025-12-10
Citations