John Zukowski
-
Formal Specification Generation from Requirement Documents
Electronic Notes in Theoretical Computer Science (ENTCS)