tabular expressions
Recently Published Documents

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Use of Tabular Expressions for Refinement Automation

2017 ◽  
pp. 167-182 ◽  
Author(s):  
Neeraj Kumar Singh ◽  
Mark Lawford ◽  
Thomas S. E. Maibaum ◽  
Alan Wassyng
Keyword(s):  
Tabular Expressions

Tabular Expressions Operators

2012 ◽  
Vol 119 (2) ◽  
pp. 121-147 ◽  
Author(s):  
Imen Bourguiba ◽  
Belaid Moa
Keyword(s):  
Tabular Expressions

An IDE for software development using tabular expressions

2007 ◽  
Author(s):  
Dennis K. Peters ◽  
Mark Lawford ◽  
Baltasar Trancón y Widemann
Keyword(s):  
Software Development ◽  
Tabular Expressions

scholarly journals On a formal semantics of tabular expressions

2001 ◽  
Vol 39 (2-3) ◽  
pp. 189-213 ◽  
Author(s):  
Ryszard Janicki ◽  
Ridha Khedri
Keyword(s):  
Formal Semantics ◽  
Tabular Expressions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document