Paul Boca

الكتب
Abstract State Machines, B and Z Abstract State Machines, B and Z
Abstract State Machines, B and Z
٢٠٠٨
Formal Methods: State of the Art and New Directions Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions
٢٠٠٩