YuTing Chen

1PUBLICATIONS
3CO-AUTHORS
Information systems development methodologies and practice
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Dec 16, 2024
Global guidance for local generalization in model checking.

Hari Govind Vediramana Krishnan, YuTing Chen, Sharon Shoham

Pageof 1

Frequent Collaborators

1 joint publications

Hari Govind Vediramana Krishnan

1 joint publications

Sharon Shoham

1 joint publications

Arie Gurfinkel