Skip to main content
Science of Security Virtual Organization

Header Menu

  • Research
    • Virtual Institutes
    • Lablets
    • Projects
    • Publications
  • Competitions
    • Cybersecurity Paper Competition
    • ISEF
  • Meetings
    • HotSoS Symposium
    • HCSS Conference
    • C3E Workshop
    • SCC Meeting
Not a member? Forgot your password?

Hamburger Menu

  • Home
  • Projects
  • News
  • Events
High Confidence Software and Systems Conference
May 12-14, 2025 | Annapolis, Maryland
  • Agenda
  • Venue
  • Call for Presentations
  • Past Events
  • Register

Breadcrumb

  • Home /
  • /
  • Programatica Tools For Certifiable, Auditable Development of High Assura...

Programatica Tools for Certifiable, Auditable Development of High Assurance Systems in Haskell

Download

Presented as part of the 2003 HCSS conference.

Tags:
    OHSU
    Presentation
    HCSS '03
    HCSS 2003
License: CC-2.5
Submitted by Timothy Thimmesch on Mon, 09/12/2011 - 12:56
© 2025 Science of Security Virtual Organization

Footer

  • Terms
  • Follow Us on X