👤

Paul Boca

1 book

Books by Paul Boca

Abstract State Machines, B and
Abstract State Machines, B and Z
2008