APA (7th ed.) Citation

Plaks, T. (2000). Formal derivation of multilayered hardware/software structures. ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000, 5-13. https://doi.org/10.1109/ICFEM.2000.873800

Chicago Style (17th ed.) Citation

Plaks, T.P. "Formal Derivation of Multilayered Hardware/software Structures." ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 2000: 5-13. https://doi.org/10.1109/ICFEM.2000.873800.

MLA (9th ed.) Citation

Plaks, T.P. "Formal Derivation of Multilayered Hardware/software Structures." ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000, 2000, pp. 5-13, https://doi.org/10.1109/ICFEM.2000.873800.