by Cok, David R.
Published in Electronic proceedings in theoretical computer science (26.04.2014)

by Cok, David R., Stump, Aaron, Weber, Tjark
Published in Journal of automated reasoning (01.06.2015)

by BURDY, Lilian, CHEON, Yoonsik, COK, David R, ERNST, Michael D, KINIRY, Joseph R, LEAVENS, Gary T, LEINO, K. Rustan M, POLL, Erik
Published in International journal on software tools for technology transfer (01.06.2005)

by Cok, David R.
Published in International journal on software tools for technology transfer (01.11.2010)

by Cok, David R., Kiniry, Joseph R.
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2005)

by Cok, David R., Johnson, Scott C.
Published in Electronic proceedings in theoretical computer science (26.04.2014)

by Nilizadeh, Amirfarhad, Leavens, Gary T., Le, Xuan-Bach D., Pasareanu, Corina S., Cok, David R.
Published in 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) (01.04.2021)

by Cok, David R.
Published in NASA Formal Methods (2011)

by Maurica, Fonenantsoa, Cok, David R., Signoles, Julien
Published in Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018)

by Cok, David R., Leavens, Gary T.
Published in Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (2022)

by Cok, David R.
Published in Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (2018)

by Cok, David R
Published in International journal on software tools for technology transfer (01.11.2010)

by Cok, David R., Tasiran, Serdar
Published in Verified Software. Theories, Tools, and Experiments (2018)

by Cok, David R.
Published in NASA Formal Methods (2011)

by Leavens, Gary T., Cheon, Yoonsik, Clifton, Curtis, Ruby, Clyde, Cok, David R.
Published in Science of computer programming (01.03.2005)

by Nilizadeh, Amirfarhad, Calvo, Marlon, Leavens, Gary T., Cok, David R.
Published in 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2022)

by Nilizadeh, Amirfarhad, Leavens, Gary T., Pasareanu, Corina S., Le, Xuan-Bach D., Cok, David R.
Published in 2024 IEEE Conference on Software Testing, Verification and Validation (ICST) (27.05.2024)

by Cok, David R, Tasiran, Serdar
Year of Publication 04.08.2020

by Cok, David R
Published in arXiv.org (26.04.2014)

by Singleton, John L, Leavens, Gary T, Rajan, Hridesh, Cok, David R
Published in arXiv.org (16.05.2019)