7 followers
Check out the latest #CASM paper https://t.co/9h314JPQCH https://t.co/US3uwjTBps
Check out the latest #CASM paper https://t.co/9h314JPQCH https://t.co/US3uwjTBps
RT @ppaulweber: Just published my chapter for "Abstract State Machines, Alloy, B, TLA, VDM, and Z" (#ABZ'18) https://t.co/G2uzElin5q @emman…
Just published my chapter for "Abstract State Machines, Alloy, B, TLA, VDM, and Z" (#ABZ'18) https://t.co/G2uzElin5q @emmanuel_099 @uwe_zdun @casm_lang #CASM https://t.co/wNe6u12wE2