Formal Methods Applied To Complex Systems
by Jean-Louis Boulanger /
2014 / English / PDF
8 Mb Download