<body> Software Verification Research Centre.
(1995-11-14)
Try this search on Wikipedia, OneLook, Google