External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Real-Time Monitoring of Ocaml programs

Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, Guillaume Von Tokarski. Real-Time Monitoring of Ocaml programs. Stud. Inform. Univ., 9(1):159-185, 2011. [doi]

Authors

Sylvain Conchon

This author has not been identified. Look up 'Sylvain Conchon' in Google

Jean-Christophe Filliâtre

This author has not been identified. Look up 'Jean-Christophe Filliâtre' in Google

Fabrice Le Fessant

This author has not been identified. Look up 'Fabrice Le Fessant' in Google

Julien Robert

This author has not been identified. Look up 'Julien Robert' in Google

Guillaume Von Tokarski

This author has not been identified. Look up 'Guillaume Von Tokarski' in Google
runs on