The Bernays-Schoenfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates

 Infos

• Added by: Nicolas Peltier
• Updated on: Nov. 24, 2020, 9:05 a.m.
• Type: Colloque
• Main language: English
• Discipline(s):
  • Informatique, Mathématiques, Sciences et technologies de l'information et de la communication