@Inproceedings{EPTCS349.4,
  author    = {Sun, Yu-Shan and Welch, Daniel and Sitaraman, Murali},
  year      = {2021},
  title     = {F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails},
  editor    = {Gleirscher, Mario and Pol, Jaco van de and Woodcock, Jim},
  booktitle = {{\rm Proceedings First Workshop on}
               Applicable Formal Methods,
               {\rm virtual, 23rd November 2021}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {349},
  publisher = {Open Publishing Association},
  pages     = {51-67},
  doi       = {10.4204/EPTCS.349.4},
}