349 followers
@bitfield Check out Maude + PveSTa (link to paper: https://t.co/z06pjO98cb)
@bitfield Check out Maude + PveSTa (link to paper: https://t.co/z06pjO98cb)
Dynamic Validation of Maude Prototypes of UML Models http://t.co/qkGwy8hkRa #springerlink
Dynamic Validation of Maude Prototypes of UML Models http://t.co/qkGwy8hkRa #springerlink