watch 01:36
We're Getting Mutants in the MCU - The Loop
Do you like this video?
Play Sound
A formal specification is a mathematically-based specification↑ used in computer-based system development. The Z notation is an example of a formal specification notation.