Items where Author is "Pescosta, Emmanuel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Number of items: 2.

Paper in Conference Proceedings or in Workshop Proceedings

  • Paulweber, Philipp and Pescosta, Emmanuel and Zdun, Uwe In: 7th International Conference on Rigorous State-Based Methods (ABZ'20) , 27-29 May 2020 , Ulm, Germany (2020)
  • Paulweber, Philipp and Pescosta, Emmanuel and Zdun, Uwe In: 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ) , 5-8 June 2018 , Southampton, UK (2018)
  • This list was generated on Fri Sep 24 20:58:12 2021 UTC.