( en | de | ru )

 

Disambiguation of "Groves, Lindsay"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Semistructured Data Normalization Using PVS.

, , , and . ICECCS, page 15-24. IEEE Computer Society, (2008)

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

Verifying Whiley Programs with Boogie., , and . J. Autom. Reason., 66 (4): 747-803 (2022)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)A PVS Approach to Verifying ORA-SS Data Models., , , and . SEKE, page 126-131. (2006)A Tactic Driven Refinement Tool., , and . Refine, page 272-297. Springer London, (1992)Derivation of a Scalable Lock-Free Stack Algorithm., and . Refine@ICFEM, volume 187 of Electronic Notes in Theoretical Computer Science, page 55-74. Elsevier, (2006)Refinement and the Z schema calculus.. Refine, volume 70 of Electronic Notes in Theoretical Computer Science, page 70-93. Elsevier, (2002)Visualizing the Refactoring of Classes via Clustering., , , and . ACSC, volume 113 of CRPIT, page 63-72. Australian Computer Society, (2011)Verifying Semistructured Data Normalization Using PVS., , , and . ICECCS, page 15-24. IEEE Computer Society, (2008)Deriving Programs by Combining and Adapting Refinement Scripts.. APSEC, page 354-363. IEEE Computer Society, (1995)An Introduction to Software Verification with Whiley., , and . SETSS, volume 11430 of Lecture Notes in Computer Science, page 1-37. Springer, (2018)