( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specification, Verification and Prototyping of an Optimized Compiler.

, и . Formal Asp. Comput., 6 (6): 643-658 (1994)

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.

Bowen Yan

Bowen Lu

Tina Bowenkamp

Catherine Bowen

Alfred Bowen Badger

 

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

Decompilation: The Enumeration of Types and Grammars., и . ACM Trans. Program. Lang. Syst., 16 (5): 1613-1647 (1994)Select Z Bibliography.. ZUM, том 1493 из Lecture Notes in Computer Science, стр. 367-406. Springer, (1998)Comp.specification.z and Z FORUM Frequently Asked Questions.. ZUM, том 967 из Lecture Notes in Computer Science, стр. 561-569. Springer, (1995)Selected Z Bibliography.. Z User Workshop, стр. 353-373. Springer, (1990)PRG Archive Server.. Z User Workshop, стр. 379-379. Springer, (1990)Ten Commandments of Formal Methods... Ten Years On., и . Conquering Complexity, Springer, (2012)Creating online collaborative environments for museums: a case study of a museum wiki., и . Int. J. Web Based Communities, 7 (4): 407-428 (2011)On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe?, и . CoRR, (2014)Safe Compilation for Hidden Deterministic Hardware Aliasing., и . ISSRE Workshops, стр. 422-427. IEEE, (2019)Select Z Bibliography.. ZUM, том 1212 из Lecture Notes in Computer Science, стр. 391-424. Springer, (1997)