Home
|
Research
|
Publications
|
Teaching
|
Projects
|
Education/Funding
RESEARCH
Software Engineering
Verification and Validation
SCOOP
(Simple Concurrent Object Oriented Programming)
Contracts and Concurrency