Michael Keehan

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

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Mar 04, 2022
XSim version 2: simulation of modern breeding programs.

Chunpeng James Chen, Dorian Garrick, Rohan Fernando

Pageof 1