External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An HPC Practitioner's Workbench for Formal Refinement Checking

Juan Benavides, John W. Baugh Jr., Ganesh Gopalakrishnan. An HPC Practitioner's Workbench for Formal Refinement Checking. In Charith Mendis, Lawrence Rauchwerger, editors, Languages and Compilers for Parallel Computing - 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers. Volume 13829 of Lecture Notes in Computer Science, pages 64-72, Springer, 2022. [doi]

Authors

Juan Benavides

This author has not been identified. Look up 'Juan Benavides' in Google

John W. Baugh Jr.

This author has not been identified. Look up 'John W. Baugh Jr.' in Google

Ganesh Gopalakrishnan

This author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google
runs on