( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Programming Unikernels in the Large via Functor Driven Development.

, , , , , , , и . CoRR, (2019)

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.

Anja Mehnert

Nicole Mehnert

Thomas Mehnert

Friedrich Mehnert

Gottfried Mehnert

 

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

Formalized Verification of Snapshotable Trees: Separation and Sharing., , , и . VSTTE, том 7152 из Lecture Notes in Computer Science, стр. 179-195. Springer, (2012)Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API., , , , , , , и . J. ACM, 66 (1): 1:1-1:77 (2019)Programming Unikernels in the Large via Functor Driven Development., , , , , , , и . CoRR, (2019)A domain-specific language for manipulation of binary data in Dylan., и . ILC, стр. 22. ACM, (2007)Object Propositions., , , и . FM, том 8442 из Lecture Notes in Computer Science, стр. 497-513. Springer, (2014)Verification of Snapshotable Trees Using Access Permissions and Typestate., и . TOOLS (50), том 7304 из Lecture Notes in Computer Science, стр. 187-201. Springer, (2012)Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code.. NASA Formal Methods, том 6617 из Lecture Notes in Computer Science, стр. 518-524. Springer, (2011)Extending Dylan's type system for better type inference and error detection.. ILC, стр. 1-10. ACM, (2010)Encoding Featherweight Java with assignment and immutability using the Coq proof assistant., , , , и . FTfJP@ECOOP, стр. 11-19. ACM, (2012)