The top documents tagged [informal specification]
Pesentation of formal
70 views
sql case studies
271 views
OGSA - A View From The Trenches
42 views
Formal methods engineering
33 views
To appear in Proceedings QFM’09
32 views