2 ms·https://en.wikipedia.org/wiki/Formal_specification https://en.wikipedia.org/wiki/Formal_specificationby Zambyte 1y agohttps://en.wikipedia.org/wiki/Formal_specification https://en.wikipedia.org/wiki/Formal_specification