共 50 条
[44]
Formal verification and validation of interactive systems specifications -: From informal specifications to formal validation
[J].
HUMAN ERROR, SAFETY AND SYSTEMS DEVELOPMENT,
2004, 152
:61-76
[46]
The role of formal and informal remittances as the determinants of formal and informal financial services
[J].
EQUILIBRIUM-QUARTERLY JOURNAL OF ECONOMICS AND ECONOMIC POLICY,
2022, 17 (03)
:727-746