Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Tim Smith

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

Get your video featured.

JoVEPublish with JoVE
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

Sort by Publication Date:
|Jun 27, 2022
Meetings managed.

Tim Smith

Pageof 1

Frequent Collaborators

Frequent Collaborators

Top Related Videos

Walk with Me Hybrid Virtual/In-Person Walking for Older Adults with Neurodegenerative Disease
07:21

Walk with Me Hybrid Virtual/In-Person Walking for Older Adults with Neurodegenerative Disease

Published on : Jun 16, 2023

1.0K
See more related videos

Top Related Videos

Walk with Me Hybrid Virtual/In-Person Walking for Older Adults with Neurodegenerative Disease
07:21

Walk with Me Hybrid Virtual/In-Person Walking for Older Adults with Neurodegenerative Disease

Published on : Jun 16, 2023

1.0K
See more related videos