Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;K Arnout,2003
2. Barnett, M., Fähndrich, M., Leino, K.R.M., Müller, P., Schulte, W., Venter, H.: Specification and verification: the Spec# experience. Commun. ACM 54(6), 81–91 (2011)
3. Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F.: Extensible Markup Language (XML) 1.0 (Fifth Edition). Fifth Edition of a Recommendation. W3C (2008).
http://www.w3.org/TR/2008/REC-xml-20081126/
4. Fähndrich, M., Leino, K.R.M.: Declaring and checking non-null types in an object-oriented language. In: Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, Anaheim, California, USA, pp. 302–312. ACM (2003)
5. Fähndrich, M., Xia, S.: Establishing object invariants with delayed types. In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications, OOPSLA 2007, Montreal, Quebec, Canada, pp. 337–350. ACM (2007)