Sara NavidPour

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour
Proving programs robust. SIGSOFT FSE (2011)
Sara NavidPour, Mohammad Izadi, Ali Movaghar
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. COMPSAC (2008)
Sara NavidPour, Mohammad Izadi
Linear Temporal Logic of Constraint Automata. CSICC (2008)