@Misc{            FoPPS,
  date-added    = "2019-09-26 16:04:07 +0200",
  date-modified = "2019-09-26 16:04:57 +0200",
  Title         = "FoPPS'19 - 3rd School on Foundations of Programming and Software Systems",
  Year          = "2019",
  File          = "FoPSS-Klin - a - a - k.pdf"
}

@Misc{ FoPPS, date-added = "2019-09-26 16:04:07 +0200", date-modified = "2019-09-26 16:04:57 +0200", Title = "FoPPS'19 - 3rd School on Foundations of Programming and Software Systems", Year = "2019", File = "FoPSS-Klin - a - a - k.pdf" }