k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

From: Sandip Ghosal <sandipsmit AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Syntax and semantics for Ada-SPARK language
Date: Wed, 15 May 2019 18:26:59 +0530
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=sandipsmit AT gmail.com; dkim=pass header.d=gmail.com header.s=20161025; dmarc=pass header.from=gmail.com

Hello,

Would you please provide me the k-syntax and semantics for Ada-SPARK language?

Thanks & Regards

Sandip Ghosal

Mob: +91-8975285340

+91-9007827465

[[K-user] ] Syntax and semantics for Ada-SPARK language, Sandip Ghosal, 05/15/2019