• Sign in
  • Sign up
conf.researchr.org / Robby
  • ICFP/SPLASH 2025 profile
  • NASA Formal Methods 2024 profile

Not registered as user

Name:Robby
Country:United States
Affiliation:Kansas State University

Contributions

2025

OlivierFest

  • Author of Danvy's Mystery Functions in Slang within the OlivierFest 2025-track

2024

NFM

  • Author of Integrated Contract-based Unit and System Testing for Component-based Systems within the NFM 2024-track
Share
xTue 9 Sep 09:22
using conf.researchr.org (v1.71.1)
Support page
Sign Up