Pages that link to "Item:Q5929014"
From MaRDI portal
The following pages link to On a formal semantics of tabular expressions (Q5929014):
Displaying 5 items.
- Application of the trace assertion method to the specification, design, and verification of automaton programs (Q840086) (← links)
- Requirements analysis for engineering computation: a systematic approach for improving reliability (Q858157) (← links)
- Defining the meaning of tabular mathematical expressions (Q988184) (← links)
- Defense in Depth Formulation and Usage in Dynamic Access Control (Q3304820) (← links)
- A Categorical Approach to Mereology and Its Application to Modelling Software Components (Q3600304) (← links)
