From post

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

Using a Language of Functions and Relations for VLSI Specification.

R. Sharp, и O. Rasmussen. FPCA, стр. 45-54. ACM, (1995)

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.

Rewriting with Constraints in T-Ruby.R. Sharp, и O. Rasmussen. CHARME, том 683 из Lecture Notes in Computer Science, стр. 226-241. Springer, (1993)Using a Language of Functions and Relations for VLSI Specification.R. Sharp, и O. Rasmussen. FPCA, стр. 45-54. ACM, (1995)The T-Ruby Design System.R. Sharp, и O. Rasmussen. Formal Methods Syst. Des., 11 (3): 239-264 (1997)An Embedding of Ruby in Isabelle.O. Rasmussen. CADE, том 1104 из Lecture Notes in Computer Science, стр. 186-200. Springer, (1996)Transformational Rewriting with Ruby.R. Sharp, и O. Rasmussen. CHDL, том A-32 из IFIP Transactions, стр. 243-260. North-Holland, (1993)