View:
Show Author | Hide Author
LISTSERV Archives
PROCOS Home
Subscribe or Unsubscribe
Log In
Get Password
Memorial scientific session for Mike Gordon at FLoC 2018, Oxford
Jonathan Bowen
Sat, 26 May 2018 13:58:05 +0100
163 lines
PhD studentship in formal methods & verification at University College London
Matteo Sammartino
Wed, 16 May 2018 14:17:28 +0000
51 lines
Re: BCS-FACS Evening Seminar, 21 May 2018: Autonomics and their verification from BT's industrial perspective
Tue, 15 May 2018 00:33:11 +0100
266 lines
Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018)
Achim D. Brucker
Thu, 10 May 2018 22:53:31 +0100
124 lines
BCS-FACS Evening Seminar, 21 May 2018: Autonomics and their verification from BT's industrial perspective
Tue, 1 May 2018 15:59:29 +0100
203 lines
Advanced Options
For help and support help@jisc.ac.uk