Book

De termination et formalisation

by Pierre-André Buvet