Constructing Rigorous Sketches for Refinement-Based Formal Development: An Application to Android
Publisher
Springer Singapore
Reference19 articles.
1. Android,
http://developer.android.com
2. J.R. Abrial, The B-Book - Assgining Programs to Meanings (Cambridge University Press, Cambridge, 1996)
3. J.R. Abrial, Modeling in Event-B - System and Software Engineering (Cambridge University Press, Cambridge, 2010)
4. R.-J. Back, K. Sere, Superposition refinement of reactive systems. Form. Asp. Comput. 8(3), 324–346 (1996)
5. E.W. Dijkstra, The Humble Programmer – ACM Turing Award Lecture (1972)