Formal aspects of computing :  the international journal of formal methods. 

 - Trimestral 
 - Vol. 1, no. 1 (mar. 1989)- 
<br/><br/> Computer & control abstracts  Electrical & electronics abstracts  Physics abstracts 
<br/><br/>
<br/><br/>British Computer Society 
<br/><br/><label>ISSN: </label>0934-5043 
 = Formal aspects of computing 
 = Form. asp. comput. 
<br/><br/><label>CODEN: </label>FACMES 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computación.
<br/><br/><label>LC Class. No.: </label>QA75.5 
<br/><br/><label>Dewey Class. No.: </label>004