Article,
One-Click Formal Methods.
J. Backes, P. Bolignano, B. Cook, A. Gacek, K. Luckow, N. Rungta, M. Schäf, C. Schlesinger, R. Tanash, C. Varming, and M. Whalen.IEEE Softw., 36 (6): 61-65 (2019)
Meta data
- BibTeX key
- journals/software/BackesBCGLRSSTV19
- entry type
- article
- year
- 2019
- journal
- IEEE Softw.
- number
- 6
- pages
- 61-65
- volume
- 36
- ee
- https://doi.org/10.1109/MS.2019.2930609
- url
- http://dblp.uni-trier.de/db/journals/software/software36.html#BackesBCGLRSSTV19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/software/BackesBCGLRSSTV19
%A Backes, John
%A Bolignano, Pauline
%A Cook, Byron
%A Gacek, Andrew
%A Luckow, Kasper Søe
%A Rungta, Neha
%A Schäf, Martin
%A Schlesinger, Cole
%A Tanash, Rima
%A Varming, Carsten
%A Whalen, Michael W.
%D 2019
%J IEEE Softw.
%K dblp
%N 6
%P 61-65
%T One-Click Formal Methods.
%U http://dblp.uni-trier.de/db/journals/software/software36.html#BackesBCGLRSSTV19
%V 36
@article{journals/software/BackesBCGLRSSTV19,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Backes, John and Bolignano, Pauline and Cook, Byron and Gacek, Andrew and Luckow, Kasper Søe and Rungta, Neha and Schäf, Martin and Schlesinger, Cole and Tanash, Rima and Varming, Carsten and Whalen, Michael W.},
biburl = {https://www.bibsonomy.org/bibtex/2a6a78b7cc19ebba95309bd273fccd560/dblp},
ee = {https://doi.org/10.1109/MS.2019.2930609},
interhash = {c591e679aa8cd1e7f37ae5b913eedd73},
intrahash = {a6a78b7cc19ebba95309bd273fccd560},
journal = {IEEE Softw.},
keywords = {dblp},
number = 6,
pages = {61-65},
timestamp = {2024-04-09T01:46:51.000+0200},
title = {One-Click Formal Methods.},
url = {http://dblp.uni-trier.de/db/journals/software/software36.html#BackesBCGLRSSTV19},
volume = 36,
year = 2019
}