Cordeiro, L. (2010). SMT-based bounded model checking for multi-threaded software in embedded systems. 2010 ACM/IEEE 32nd International Conference on Software Engineering, 2, 373-376. https://doi.org/10.1145/1810295.1810396
Citace podle Chicago (17th ed.)Cordeiro, Lucas. "SMT-based Bounded Model Checking for Multi-threaded Software in Embedded Systems." 2010 ACM/IEEE 32nd International Conference on Software Engineering 2 (2010): 373-376. https://doi.org/10.1145/1810295.1810396.
Citace podle MLA (9th ed.)Cordeiro, Lucas. "SMT-based Bounded Model Checking for Multi-threaded Software in Embedded Systems." 2010 ACM/IEEE 32nd International Conference on Software Engineering, vol. 2, 2010, pp. 373-376, https://doi.org/10.1145/1810295.1810396.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..