Milne, G. J. e., Pierre, L. e., & service), S. (. (1993). Correct Hardware Design and Verification Methods [electronic resource]: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg.
Cita Chicago Style (17a ed.)Milne, George J. editor., Laurence. editor Pierre, y SpringerLink (Online service). Correct Hardware Design and Verification Methods [electronic Resource]: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993.
Cita MLA (8a ed.)Milne, George J. editor., et al. Correct Hardware Design and Verification Methods [electronic Resource]: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993.
Cita IICA/CATIEMilne, G. J. e., Pierre, L. e., ; service), S. (. 1993. Correct Hardware Design and Verification Methods [electronic resource]: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg.