According to our database1, Sara NavidPour authored at least 2 papers between 2008 and 2011.
Legend:Book In proceedings Article PhD thesis Other
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
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