|
[LMG11]
Markus Lumpe, Indika Meedeniya and Lars Grunske.
PSPWizard: Machine-assisted definition of temporal logical properties with specification patterns.
In Proc. 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering and 13rd European Software Engineering Conference (ESEC/FSE'11), pages 468-471.
2011.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|