( en | de | ru )

 

Disambiguation of "Groves, Lindsay"

Author of the publication

copydeleteadd this publication to your clipboard
Making Whiley Boogie!

, , and . IFM, volume 10510 of Lecture Notes in Computer Science, page 69-84. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Julia Groves

Lindsay McDonough

Lindsay Murrells

Alan Lindsay

Jan Marie Lindsay

 

Other publications of authors with the same name

A Tactic Driven Refinement Tool., , and . Refine, page 272-297. Springer London, (1992)Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors., and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 342-357. Springer, (2019)Visualizing the Refactoring of Classes via Clustering., , , and . ACSC, volume 113 of CRPIT, page 63-72. Australian Computer Society, (2011)Refinement and the Z schema calculus.. Refine, volume 70 of Electronic Notes in Theoretical Computer Science, page 70-93. Elsevier, (2002)Deriving Programs by Combining and Adapting Refinement Scripts.. APSEC, page 354-363. IEEE Computer Society, (1995)Verifying Semistructured Data Normalization Using PVS., , , and . ICECCS, page 15-24. IEEE Computer Society, (2008)An Introduction to Software Verification with Whiley., , and . SETSS, volume 11430 of Lecture Notes in Computer Science, page 1-37. Springer, (2018)A PVS Approach to Verifying ORA-SS Data Models., , , and . SEKE, page 126-131. (2006)Contextual Trace Refinement for Concurrent Objects: Safety and Progress., and . ICFEM, volume 10009 of Lecture Notes in Computer Science, page 261-278. (2016)Collapsing Threads Safely with Soft Invariants., and . CoRR, (2015)