Richard A Frank

1PUBLICATIONS
4CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Dec 03, 2022
Developing current procedural terminology codes that describe the work performed by machines.

Richard A Frank, Robert Jarrin, Jordan Pritzker

Pageof 1