Login / Signup

Automated Generation of Web Service Stubs Using LTL Satisfiability Solving.

Sylvain Hallé
Published in: WS-FM (2010)
Keyphrases