Author:
da Cruz Daniela,Henriques Pedro Rangel,Sousa Pinto Jorge
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Barnes, J.: High Integrity Software: The SPARK Approach to Safety and Security, 1st edn. Addison Wesley, Reading (March 2003)
2. Lecture Notes in Computer Science;M. Barnett,2005
3. Barros, J., da Cruz, D., Henriques, P.R., Pinto, J.S.: Assertion-based Slicing and Slice Graphs. In: Fiadeiro, J.L., Gnesi, S. (eds.) Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010) (2010)
4. Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G., Leino, K., Poll, E.: An overview of jml tools and applications (2003)
5. Canfora, G., Cimitile, A., De Lucia, A.: Conditioned program slicing. Information and Software Technology 40(11-12), 595–608 (1998)