High-Assurance Software Laboratory

Search: ^s

DI/FMHAS Web Changed Changed by
SelectedPublications 10 Apr 2013 - 14:13 - r15 JoseNunoOliveira
Recent Publications Journal Papers J.N. Oliveira, M.A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering ...
Seminar 04 Apr 2015 - 20:32 - r200 JoseNunoOliveira
This page has been moved to the new HASLab web site at http://haslab.uminho.pt/calendar HASLab Seminar Series The HASLab Seminar Series is a scientific colloquium ...
Found 2 topics.
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM