APA (7th ed.) Citation

Klimek, R. (2019). Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models. Journal of logical and algebraic methods in programming, 104, 201-226. https://doi.org/10.1016/j.jlamp.2019.02.005

Chicago Style (17th ed.) Citation

Klimek, Radosław. "Pattern-based and Composition-driven Automatic Generation of Logical Specifications for Workflow-oriented Software Models." Journal of Logical and Algebraic Methods in Programming 104 (2019): 201-226. https://doi.org/10.1016/j.jlamp.2019.02.005.

MLA (9th ed.) Citation

Klimek, Radosław. "Pattern-based and Composition-driven Automatic Generation of Logical Specifications for Workflow-oriented Software Models." Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019, pp. 201-226, https://doi.org/10.1016/j.jlamp.2019.02.005.