PICASSO

MaRDI QIDQ52478swMATHFDO

Official website https://dzufferey.github.io/picasso/index.html

Cited in

(2)

• Ideal abstractions for well-structured transition systems
• Lift

This page was built for software: PICASSO