( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automating first-order relational logic.

. SIGSOFT FSE, стр. 130-139. ACM, (2000)

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.

Daniel John Jackson

Helen Jackson

Margret Jackson

Peter Jackson

Jackson Francomme

 

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

Software analysis: a roadmap, и . ICSE '00: Proceedings of the Conference on The Future of Software Engineering - Future of SE Track, стр. 133-145. (2000)Panopticon: a parallel video overview system., , , , , и . UIST, стр. 123-130. ACM, (2013)αRby - An Embedding of Alloy in Ruby., , и . ABZ, том 8477 из Lecture Notes in Computer Science, стр. 56-71. Springer, (2014)A Structure for Dependability Arguments., и . ASM, том 5977 из Lecture Notes in Computer Science, стр. 1. Springer, (2010)Critical Feature Analysis of a Radiotherapy Machine., , , , и . SAFECOMP, том 2788 из Lecture Notes in Computer Science, стр. 221-234. Springer, (2003)Module Dependences in Software Design.. RISSEF, том 2941 из Lecture Notes in Computer Science, стр. 198-203. Springer, (2002)Idioms of Logical Modelling.. ICGT, том 4178 из Lecture Notes in Computer Science, стр. 14. Springer, (2006)Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint)., и . IEEE Software, 13 (2): 20 (1996)Aspect: Detecting Bugs with Abstract Dependences.. ACM Trans. Softw. Eng. Methodol., 4 (2): 109-145 (1995)Conveying spatial awareness cues in xR collaborations., , , и . IEEE Trans. Vis. Comput. Graph., 25 (11): 3178-3189 (2019)