( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A CLP Method for Compositional and Intermittent Predicate Abstraction.

, , и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sadik Jaffar Saad

 

Другие публикации лиц с тем же именем

A Finite Presentation Theorem for Approximating Logic Programs., и . POPL, стр. 197-209. ACM Press, (1990)Toward Practical Query Evaluation for Constraint Databases., , и . Constraints An Int. J., 2 (3/4): 279-304 (1997)Projecting CLP (R) Constraints., , , и . New Generation Comput., 11 (3): 449-469 (1993)A Generic Algorithm for CLP Analysis., и . ICLP, стр. 49-63. MIT Press, (1995)Boosting concolic testing via interpolation., , и . ESEC/SIGSOFT FSE, стр. 48-58. ACM, (2013)Unbounded Symbolic Execution for Program Verification., , и . RV, том 7186 из Lecture Notes in Computer Science, стр. 396-411. Springer, (2011)Relative Safety., , и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 282-297. Springer, (2006)Path-Sensitive Backward Slicing., , , и . SAS, том 7460 из Lecture Notes in Computer Science, стр. 231-247. Springer, (2012)Invited Talk: Some Issues and Trends in the Semantics of Logic Programming., , и . ICLP, том 225 из Lecture Notes in Computer Science, стр. 223-241. Springer, (1986)Optimal MC/DC test case generation., , и . ICSE (Companion Volume), стр. 288-289. IEEE / ACM, (2019)