WADT'06 : 18th International Workshop on Algebraic Development Techniques

Germain Saval (Contributor)

University of Namur

Activity: Participating in or organising an event types › Participation in conference

Description

The algebraic approach to system specification and development, born as a formal method for abstract data types, encompasses today the formal design of integrated hardware and software systems, new specification frameworks and programming paradigms (such

Period	1 Jun 2006 → 3 Jun 2006
Event type	Conference
Location	La Roche, BelgiumShow on map

Documents & Links

http://www.info.fundp.ac.be/~pys/WADT06/