Pamela A Williams

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

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Mar 15, 2024
VitroJet: new features and case studies.

Rene J M Henderikx, Daniel Mann, Aušra Domanska

Pageof 1

Frequent Collaborators

1 joint publications

Daniel Mann

1 joint publications

Damian Ludig

1 joint publications

Hanna M Oksanen

1 joint publications

Kyrylo Bisikalo