aboutsummaryrefslogtreecommitdiffstats
path: root/CITATION.cff
diff options
context:
space:
mode:
authorMichalis Pardalos <m.pardalos@gmail.com>2021-09-16 18:51:11 +0300
committerMichalis Pardalos <m.pardalos@gmail.com>2021-09-16 18:51:11 +0300
commitaac6ec4616cd85bbc22ed124d39b6dd727f15ba5 (patch)
treea8fe937ee3461dc997715a2dc94641618dd111f2 /CITATION.cff
parent9c684ec45620edff6deb57ace7d38d80304f682d (diff)
downloadvericert-aac6ec4616cd85bbc22ed124d39b6dd727f15ba5.tar.gz
vericert-aac6ec4616cd85bbc22ed124d39b6dd727f15ba5.zip
Complete callstate proof
Diffstat (limited to 'CITATION.cff')
0 files changed, 0 insertions, 0 deletions