
[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Retrenchment and the Atomicity Pattern
Banach, Richard, Jeske, Czeslaw, Hall, Anthony, Stepney, SusanAnnée:
2007
Langue:
english
DOI:
10.1109/sefm.2007.34
Fichier:
PDF, 318 KB
english, 2007