Sara NavidPour

According to our database1, Sara NavidPour authored at least 2 papers between 2008 and 2011.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Proving programs robust.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

2008
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008


  Loading...