Original Video link not available
shashankgoudp opened this issue · comments
Shashank Goud commented
Readme doesn't contain original link to the Video.
Manav Verma commented
There is no original video available on the Tools website.
PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
http://www.ict.swin.edu.au/personal/mlumpe/PSPWizard/index.html
shashankgoudp opened this issue · comments
Readme doesn't contain original link to the Video.
There is no original video available on the Tools website.