Robuta

https://formal.kastel.kit.edu/key/thebook/examples/06PatternDrivenFormalSpecification/?C=D;O=D Index of /key/thebook/examples/06PatternDrivenFormalSpecification index of key examples https://www.tcd.ie/thebook/ Thebook - Trinity Centre for the Book | Trinity College Dublin trinity centre for the book college dublin https://formal.kastel.kit.edu/key/thebook/examples/05FormalSpecification/?C=S;O=A Index of /key/thebook/examples/05FormalSpecification index of key examples