www.cse.dmu.ac.uk
De Montfort University - Formal methods, verification, reactive systems, semantics, compositionality, interval temporal logic, executable specification, re-engineering.
URLs from www.cse.dmu.ac.uk:
URL: http://www.cse.dmu.ac.uk/~mward/gkc/books/lepanto-spanish.txt URL: http://www.cse.dmu.ac.uk/~rij/fuzzy.html URL: http://www.cse.dmu.ac.uk/~cau/itlhomepage URL: http://www.cse.dmu.ac.uk/~mward/gkc/books/aquinas.html URL: http://www.cse.dmu.ac.uk/~mstacey/pubs/knitsys-lanc/communication-system-lanc.pdf URL: http://www.cse.dmu.ac.uk/~mstacey/pubs/bottleneck/fulltext.pdf URL: http://www.cse.dmu.ac.uk/~cau URL: http://www.cse.dmu.ac.uk/STRL/hyang URL: http://www.cse.dmu.ac.uk/~mward/martin/papers/middle-out-t.pdf URL: http://www.cse.dmu.ac.uk/~mward/gkc URL: http://www.cse.dmu.ac.uk/~mward/gkc/books/dickens_Britannica.txt URL: http://www.cse.dmu.ac.uk/~mward/gkc/books/heretics/ch3.html URL: http://www.cse.dmu.ac.uk
Queries: