References
Arts T, Fokkink W (2003) Proceedings of the 8th international workshop on formal methods for industrial critical systems. Trondheim, Norway, 5–7 June 2003
Blom S, Orzan S (2005) Distributed state space minimization. Int J Softw Tools Technol Transfer (current issue)
Brucker AD, Wolff B (2005) A verification approach for applied system security. Int J Softw Tools Technol Transfer (current issue)
Bubel R, Hähnle R (2005) Integration of informal and formal development of object-oriented safety-critical software – a case study with the KeY system. Int J Softw Tools Technol Transfer (current issue)
Butterfield A, Woodcock J (2005) prialt in Handel-C: an operational semantics. Int J Softw Tools Technol Transfer (current issue)
Burdy L et al. (2005) An overview of JML tools and applications. Int J Softw Tools Technol Transfer (current issue)
Hammarberg J, Nadjm-Tehrani S (2005) Formal verification of fault tolerance in safety-critical modules. Int J Softw Tools Technol Transfer (current issue)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Arts, T., van de Pol, J. Introductory paper. Int J Softw Tools Technol Transfer 7, 195–196 (2005). https://doi.org/10.1007/s10009-005-0196-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-005-0196-7