AKIT
English Eesti

formal specification

formaalne spetsifikatsioon