(ULTRA group, Heriot-Watt University)

by F. Kamareddine , M. Maarek , K. Retel , J. B. Wells , Computerisation Vs. Formalisation