Formal Methods Wiki

This wiki's URL has been migrated to the primary fandom.com domain.Read more here

READ MORE

Formal Methods Wiki
Advertisement

A simple drinks dispensing machine can provide tea or co�ee, both with or without milk and with

or without sugar:

Products ::= Tea j Co�ee j Milk j Sugar

__Name_______________
| declarations
|_______
| predicates
|_____________________

Advertisement