Skip to content

Lina Bentakouk

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2011–2011

Best venue rank

C

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2011TAPChecking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver.Lina Bentakouk, Pascal Poizat, Fatiha Zadi