
Two pages of Data Semantics, J.R. Abrial, IFIP WC on Data Base Management, Cargèse, Corsica, France, 1-5 April 1974,
Proceedings edited by J.W. Klimbie and K.L. Koffeman, North-Holland
Software engineering, Formal methods, B method, Teaching, Research, International Conference, Nantes June 16 2008, June 8 2009, June 7 2010
No comments:
Post a Comment