( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bounded Model Checking of Recursive Programs with Pointers in K.

, , , , и . WADT, том 7841 из Lecture Notes in Computer Science, стр. 59-76. Springer, (2012)

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.

de Boer

wim de boer

Nicole Schlorke-de Boer

Johanne Boer

Chandradewana Boer

 

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

A shared-variable concurrency analysis of multi-threaded object-oriented programs.. Theor. Comput. Sci., 410 (2-3): 128-141 (2009)Proving Correctness of Parallel Implementations of Transition System Specifications., , , и . CoRR, (2023)An Algebraic Perspective of Constraint Logic Programming., , и . J. Log. Comput., 7 (1): 1-38 (1997)Embedding as a Tool for Language Comparison, и . Inf. Comput., 108 (1): 128-157 (января 1994)A Fully Abstract Semantics for UML Components, , , и . X, стр. 49--69. (2005)A Petri Net Based Modeling of Active Objects and Futures., , , и . Fundam. Informaticae, 159 (3): 197-256 (2018)Object-Oriented and Constraint Programming for Time Critical Applications.. ECOOP Workshops, том 1743 из Lecture Notes in Computer Science, стр. 255-266. Springer, (1999)On Futures for Streaming Data in ABS - (Short Paper)., , и . FORTE, том 10321 из Lecture Notes in Computer Science, стр. 67-73. Springer, (2017)User-defined schedulers for real-time concurrent objects., , , , и . ISSE, 9 (1): 29-43 (2013)Prototyping a tool environment for run-time assertion checking in JML with communication histories., , и . FTfJP@ECOOP, стр. 6:1-6:7. ACM, (2010)