Yves Deswarte, Mohamed Kaniche, Pierre Corneillie, John Goodson
Browse the full SAFECOMP paper archive.