02320nas 2200769-a 450 99621182310331620230225213018.01433-299X(OCoLC)42939863(CKB)954933108345(CONSER)---00227046-(DE-599)ZDB1476364-3(MiAaPQ)43690(EXLCZ)9995493310834519991206a19899999 s-- -engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal aspects of computingLondon Springer Verlag1 online resourceRefereed/Peer-reviewed0934-5043 Formal aspects of computing :applicable formal methodsFORMAL ASPECTS OF COMPUTING INTERNATIONAL JOURNAL OF FORMAL METHODSFORM ASP COMPUTFORM. ASP. COMPUTForm. asp. comput.Computer sciencePeriodicalsInformatiquePériodiquesComputer sciencefast(OCoLC)fst00872451ComputersgalestneFormale MethodegndSystementwicklunggndTheoretische InformatikgndZeitschriftgndOnline-RessourcegndFormale SprachegndComputersgttProgrammeren (computers)gttFormele talengttPeriodicals.fastPeriodicals.lcgftZeitschriftswdOnline-PublikationswdComputersComputer scienceInformatiqueComputer science.Computers.Formale MethodeSystementwicklungTheoretische InformatikZeitschriftOnline-RessourceFormale SpracheComputers.Programmeren (computers)Formele talen.004.05British Computer Society.Specialist Group in Formal Aspects of Computing Science,JOURNAL996211823103316Formal aspects of computing2051350UNISA