Thang, N. T. Specification and verification of inter-component constraints in CTL. Software engineering notes..
Style de citation Chicago (17e éd.)Thang, Nguyen Truong. "Specification and Verification of Inter-component Constraints in CTL." Software Engineering Notes. .
Style de citation MLA (9e éd.)Thang, Nguyen Truong. "Specification and Verification of Inter-component Constraints in CTL." Software Engineering Notes., .
Attention : ces citations peuvent ne pas être correctes à 100%.