Giters

SoftwareEngineeringToolDemos / FSE-2011-PSPWizard

PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns

Home Page:http://www.ict.swin.edu.au/personal/mlumpe/PSPWizard/index.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

writing-mechanics

shashankgoudp opened this issue · comments

commented

"the" has to be there after from in the line : The Binary & Source Code can be Downloaded from : Download Page

commented

Thanks!!