Semantics with Applications: Model-Based Program Analysis

cover

@Book{            NielsonNielsonb,
  Author        = "Nielson, Hanne Riis and Nielson, Flemming",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:27 +0200",
  Keywords      = "formal semantics",
  Title         = "Semantics with Applications: Model-Based Program Analysis",
  Year          = "1996",
  File          = "Semantics with Applications Model-Based Program Analysis - Nielson, Nielson (0) (0) - a - a.pdf",
  file-2        = "Semantics with Applications Model-Based Program Analysis - Nielson, Nielson (0) (0) - a - a.ps"
}

@Book{ NielsonNielsonb, Author = "Nielson, Hanne Riis and Nielson, Flemming", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:27 +0200", Keywords = "formal semantics", Title = "Semantics with Applications: Model-Based Program Analysis", Year = "1996", File = "Semantics with Applications Model-Based Program Analysis - Nielson, Nielson (0) (0) - a - a.pdf", file-2 = "Semantics with Applications Model-Based Program Analysis - Nielson, Nielson (0) (0) - a - a.ps" }