From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Approach to the Specification and Verification of a Hardware Compilation Scheme.

J. Bowen, и J. He. The Journal of Supercomputing, 19 (1): 23-39 (2001)

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.

Formal Methods Communities of Practice: A Survey of Personal Experience.J. Bowen, и P. Breuer. SEFM Workshops, том 13230 из Lecture Notes in Computer Science, стр. 287-301. Springer, (2021)An Approach to Verifiable Compiling Specification and Prototyping.J. Bowen, J. He, и P. Pandya. PLILP, том 456 из Lecture Notes in Computer Science, стр. 45-59. Springer, (1990)Creating online collaborative environments for museums: a case study of a museum wiki.A. Liu, и J. Bowen. Int. J. Web Based Communities, 7 (4): 407-428 (2011)Selected Z Bibliography.J. Bowen. Z User Workshop, стр. 353-373. Springer, (1990)PRG Archive Server.J. Bowen. Z User Workshop, стр. 379-379. Springer, (1990)Ten Commandments of Formal Methods... Ten Years On.J. Bowen, и M. Hinchey. Conquering Complexity, Springer, (2012)On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe?P. Breuer, и J. Bowen. CoRR, (2014)Decompilation: The Enumeration of Types and Grammars.P. Breuer, и J. Bowen. ACM Trans. Program. Lang. Syst., 16 (5): 1613-1647 (1994)Select Z Bibliography.J. Bowen. ZUM, том 1493 из Lecture Notes in Computer Science, стр. 367-406. Springer, (1998)Comp.specification.z and Z FORUM Frequently Asked Questions.J. Bowen. ZUM, том 967 из Lecture Notes in Computer Science, стр. 561-569. Springer, (1995)