Laboratoire d'Algorithmique, Complexité et Logique
Software: Practice and Experience
2006 · Frédéric Gervais, Benoît Fraikin · Software Practice and Experience
Nitrogen isotopic baselines and implications for estimating foraging habitat and trophic position of yellowfin tuna in the Indian and Pacific Oceans
2014 · Anne Lorrain, Brittany S. Graham, et al. · Deep Sea Research Part II Topical Studies in Oceanography
Abstract State Machines, Alloy, B and Z
2010 · Marc Frappier, Uwe Glässer, et al. · Lecture notes in computer science