Isaac Potoczny-Jones is an author at Galois (United States) specializing in software design, formal verification, and software testing.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringProgramming Languages
Publications per year
2008–2008
1
1
Duncan Coutts, Isaac Potoczny-Jones, Don Stewart · 2008 · 12 citations
High-level Programming Language, Engineering, Program Analysis +14
Rows per page
1–1 of 1