×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [program specialisation]
Home >
program specialisation
Program Specialisation, Inductive Theorem Proving and Infinite State Model Checking Michael Leuschel (joint work with Helko Lehmann) Invited Talk Lopstr’03.
215 views
CAFEO 31 Building Blocks for Quality in Engineering Education [An Australian Experience] Paul Mitchell FIEAust CPEng APECEng Engineers Australia.
214 views
Taklimat Pelajar PG Baru Sem I 20132014 Latest
13 views