Using Specifications to Check Source Code

Similar Items

• Using specifications to check source code
  by: Evans, David Elliot, 1971-
  Published: (2007)
• Joint source-channel coding system exploiting multi-dimensional source correlation using turbo single parity check codes /
  by: Mohd. Azri Mohd. Izhar, 1985-, et al.
  Published: (2014)
• Framework for inspection-based: checking the effectiveness and efficiency in PHP source code
  by: Din, Jamilah, et al.
  Published: (2017)
• Joint source-channel coding system exploiting multi-dimensional source correlation using turbo single parity check codes [electronic resource) /
  by: Mohd. Azri Mohd. Izhar, 1985-, et al.
  Published: (2014)
• Detecting Malicious Code by Model Checking.
  by: Kinder, J, et al.
  Published: (2005)