Gautier Loyauté, Rémi Forax, Gilles Roussel. A Java toolkit for the design and the automatic checking of server architecture.
5th International Conference on Principles and Practices of Programming in Java, 2007, United States. pp.113-122.
⟨hal-00620245⟩