Author:
Gervais Frédéric,Frappier Marc,Laleau Régine
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference49 articles.
1. Abrial J.R.: The B-Book: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)
2. Barros, R.: Deriving relational database programs from formal specifications. In FME 94, pp. 703–723. Springer, Berlin (1994)
3. Batanado, P.: Synthèse de transactions de base de données relationnelle à partir de définitions d’attributs EB3. Master’s thesis, Département d’informatique, Université de Sherbrooke (2005)
4. Bolognesi T., Brinksma E.: Introduction to the ISO specification language LOTOS. Comp. Netw. ISDN Syst. 14(1), 25–59 (1987)
5. Cousineau G., Mauny M.: The functional approach to programming. Cambridge University Press, Cambridge (1998)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. MedicationChecker: Development of a Formally Verified Android Application with EventB2SQL;2016 IEEE International Conference on Software Quality, Reliability and Security (QRS);2016-08