Software team MoVe

• BUT4Reuse
• Coloane
• CosyVerif
• CPN-AMI
• DDD
• ITS-Tools
• LfP
• LiSP2TeX
• Macao
• Meroon V3
• PaInLeSS
• PNML Framework
• Puck
• SPOT
• VBPMN
• VerChor