SFM-03:SA - 3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture

Englebert, V. (Participant)

University of Namur

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

Description

Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The main aim of the SFM series is to offer a good spectrum of current research in foundations as well as applic

Period	22 Sept 2003 → 27 Sept 2003
Event type	Conference
Location	Bertinoro, ItalyShow on map

Documents & Links

http://www.sti.uniurb.it/events/sfm03sa/#materiale