02854oas 2201129 a 450 991013888820332120251105213014.01433-299X(DE-599)ZDB1476364-3(DE-599)1476364-3(OCoLC)42939863(CONSER) 00227046 (CKB)954933108345(EXLCZ)9995493310834519991206a19899999 sy engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal aspects of computingLondon Springer Verlag1 online resourceRefereed/Peer-reviewed0934-5043 Formal aspects of computing :applicable formal methodsForm. asp. comput.Computer sciencePeriodicalsInformatiquePériodiquesComputer sciencefast(OCoLC)fst00872451ComputersgalestneFormale MethodegndSystementwicklunggndTheoretische InformatikgndZeitschriftgndOnline-RessourcegndFormale SprachegndComputersgttProgrammeren (computers)gttFormele talengttPeriodicals.fastPeriodicals.lcgftZeitschriftswdOnline-PublikationswdComputer scienceInformatiqueComputer science.Computers.Formale MethodeSystementwicklungTheoretische InformatikZeitschrift.Online-RessourceFormale SpracheComputers.Programmeren (computers)Formele talen.004.05British Computer Society.Specialist Group in Formal Aspects of Computing Science,VPIVPIEYMOCLCQMYGOCLCQMUQOCLMYGOCLCQUKMGBOCLCQOCLCFOCLCQDEFHMOCLCOOCLCAOCLCEUABDLCAU@OCLCOVT2NJTUBYCCTKQWFIES2HOCLCOQGKOCLCQOCLCAOCLCQJOURNAL9910138888203321Formal aspects of computing2051350UNINA